1. Verifying concurrent processes using temporal logic
پدیدآورنده: Hailpern, Brent Tzion
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید باهنر کرمان (کرمان)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs - Verification
رده :
QA
76
.
L4
v
.
129
2. Verifying concurrent processes using temporal logic
پدیدآورنده: Hailpern, Brent Tzion
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs-- Verification
رده :
QA
76
.
6
.
H295
1982
3. Verifying concurrent processes using temporal logic
پدیدآورنده: Hailpern, Brent Tzion, 5591-
کتابخانه: کتابخانه پژوهشگاه دانشهای بنیادی (تهران)
موضوع: ، Parallel processing )Electronic computers(,، Computer programs -- Verification
رده :
QA
76
.
L28
Vol
.
129
